fixes https://bugzilla.gnome.org/show_bug.cgi?id=762811
}
&.image-button {
- min-width: 32px;
- padding-left: 0;
- padding-right: 0;
+ min-width: 24px;
+ padding-left: 4px;
+ padding-right: 4px;
}
&.text-button {
box-shadow: inset 0 1px rgba(255, 255, 255, 0); }
notebook > header > tabs > arrow.image-button, headerbar button.image-button.titlebutton,
.titlebar button.image-button.titlebutton, button.image-button {
- min-width: 32px;
- padding-left: 0;
- padding-right: 0; }
+ min-width: 24px;
+ padding-left: 4px;
+ padding-right: 4px; }
notebook > header > tabs > arrow.text-button, headerbar button.text-button.titlebutton,
.titlebar button.text-button.titlebutton, button.text-button {
padding-left: 16px;
box-shadow: inset 0 1px rgba(255, 255, 255, 0); }
notebook > header > tabs > arrow.image-button, headerbar button.image-button.titlebutton,
.titlebar button.image-button.titlebutton, button.image-button {
- min-width: 32px;
- padding-left: 0;
- padding-right: 0; }
+ min-width: 24px;
+ padding-left: 4px;
+ padding-right: 4px; }
notebook > header > tabs > arrow.text-button, headerbar button.text-button.titlebutton,
.titlebar button.text-button.titlebutton, button.text-button {
padding-left: 16px;